大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Computer Aided Verification [electronic resource] : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

0
索取号:
作者:Gupta、 Aarti.、Malik、 Sharad.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Deontic Logic in Computer Science [electronic resource] : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

0
索取号:
作者:Meyden、 Ron.、Torre、 Leendert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Biomedical Simulation [electronic resource] : 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

0
索取号:
作者:Bello、 Fernando.、Edwards、 P. J. Eddie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Globalization and Urban Implosion [electronic resource] : Creating New Competitive Advantage

0
索取号:
作者:Dalla Longa、 Remo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Abuse of Dominant Position: New Interpretation, New Enforcement Mechanisms? [electronic resource]

0
索取号:
作者:Mackenrodt、 Mark-Oliver.、Gallego、 Beatriz Conde.、Enchelmaier、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers

0
索取号:
作者:Washio、 Takashi.、Satoh、 Ken.、Takeda、 Hideaki.、Inokuchi、 Akihiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Frontiers in Polymer Synthesis [electronic resource]

0
索取号:
作者:Kobayashi、 Shiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

0
索取号:
作者:Hanus、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

0
索取号:
作者:Jedlitschka、 Andreas.、Salo、 Outi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

0
索取号:
作者:Leeuwen、 Jan.、Italiano、 Giuseppe F.、Hoek、 Wiebe.、Meinel、 Christoph.、Sack、 Harald.、Pl谩拧il、 Franti拧ek.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

0
索取号:
作者:K眉hne、 Thomas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Perception in Multimodal Dialogue Systems [electronic resource] : 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, Kloster Irsee, Germany, June 16-18, 2008. Proceedings

0
索取号:
作者:Andr茅、 Elisabeth.、Dybkj忙r、 Laila.、Minker、 Wolfgang.、Neumann、 Heiko.、Pieraccini、 Roberto.、Weber、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Pattern Recognition [electronic resource] : 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings

0
索取号:
作者:Rigoll、 Gerhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Handbook of New Institutional Economics [electronic resource]

0
索取号:
作者:M茅nard、 Claude.、Shirley、 Mary M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Intelligence and Security Informatics [electronic resource] : IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings

0
索取号:
作者:Yang、 Christopher C.、Chen、 Hsinchun.、Chau、 Michael.、Chang、 Kuiyu.、Lang、 Sheau-Dong.、Chen、 Patrick S.、Hsieh、 Raymond.、Zeng、 Daniel.、Wang、 Fei-Yue.、Carley、 Kathleen.、Mao、 Wenji.、Zhan、 Justin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

0
索取号:
作者:Gruhn、 Volker.、Oquendo、 Flavio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类